$\forall$$a$:Atom1, $n$:$\mathbb{Z}$. $\neg$$n$:$\mathbb{Z}>>$$a$